% eindelijk het voorbeeldje goed werkend gekregen
start :-
Vars = [Mayer, Hoover, Miller, Smith, German, English, Math, Physics],
Vars ins 1..4,
all_different([Mayer, Hoover, Miller, Smith]),
all_different([German, English, Math, Physics]),
label(Vars),
	Mayer #\=4,
	 Miller #= German,	
	 abs(Miller - Smith) #>= 1,
	 Hoover #= Math,
 	 Physics #= 4,
     German #\=1,
  	 English #\=1,
nl,
write([Mayer, Hoover, Miller, Smith]), nl,
write([German, English, Math, Physics]), nl.